Wyniki
-
Logic based on combinators
Yuichi Komori
Bulletin of the Section of Logic , 18 /3 (1989) s. 100-104 -
On Komori Algebras
Yuichi Komori
Bulletin of the Section of Logic , 30 /2 (2001) s. 67-70 -
λρ-Calculus: A Natural Deduction for Classical Logic
Yuichi Komori
Bulletin of the Section of Logic , 31 /2 (2002) s. 65-70